机译:Petri网可达性图:一阶属性的可确定性状态
机译:Petri网可达性图:一阶属性的可确定性状态
机译:Petri网可达性图:FO属性的可确定性状态
机译:普通Petri网对定时Petri网的模拟及其在定时可达性问题和其他相关问题判定中的应用。
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:基于Petri网的新型传感器网络中传感器与地理环境相互作用的新型建模方法。
机译:Petri网可达性图:一阶属性的可确定性状态
机译:petri网可达性集强连通性的可判定问题。